Partial evaluation - PDFSEARCH.IO - Document Search Engine

Partial evaluation
Results: 234

#	Item
81	BRICS Basic Research in Computer Science BRICS RST. Amtoft: Partial Evaluation for Constraint-Based Program Analyses Partial Evaluation for Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-03-10 05:03:18
82	LLPE Highly accurate partial evaluation for LLVM IR Christopher Smowton University of Manchester (kinda) Add to Reading List Source URL: llvm.org Language: English - Date: 2015-05-07 11:28:28 Compilers LLVM D Control flow Software engineering Computing Computer programming
83	PDF Document Add to Reading List Source URL: websrv0a.sdu.dk Language: English - Date: 2006-01-04 09:00:56 Evaluation strategy Incremental computing Partial evaluation Aspect-oriented software development Object-oriented programming Ada Software engineering Computing Computer programming
84	1 Cooperation between Austria and Burkina Faso Implemented by the Austrian Development Agency (ADA) Summary of the Evaluation Report on the implementation of the “Partial Programme TVET” Add to Reading List Source URL: www.entwicklung.at Language: English - Date: 2009-09-10 09:35:35 Republics Vocational education Africa Political geography Earth Burkina Faso Economic Community of West African States French West Africa
85	Jitting Prolog for Fun and Profit David Schneider Carl Friedrich Bolz Add to Reading List Source URL: bergel.eu Language: English - Date: 2010-05-27 08:39:11 Compiler construction Programming language implementation PyPy Prolog Just-in-time compilation Partial evaluation Logic programming Interpreter Compiler Software engineering Computing Computer programming
86	Nonlin. Processes Geophys., 22, 325–335, 2015 www.nonlin-processes-geophys.netdoi:npg © Author(sCC Attribution 3.0 License. Evaluation of a spectral line width for the Philli Add to Reading List Source URL: www.nonlin-processes-geophys.net Language: English - Date: 2015-05-28 04:56:56 Matter Partial differential equations Physical oceanography Waves Fluid dynamics Wave turbulence Nonlinear Schrödinger equation Wave Vladimir E. Zakharov Physics Water waves Calculus
87	Evaluation of Spading x Lime incorporation in low pH, non wetting sand Nadine Hollamby, GRDC Project Coordinator, Liebe Group Stephen Davies, Research officer, DAFWA, Geraldton Aim To examine whether spading (partial-inv Add to Reading List Source URL: www.liebegroup.org.au Language: English - Date: 2012-01-13 03:06:22 Subsoil Ped Soil Landscape architecture Topsoil
88	PDF Document Add to Reading List Source URL: www.brics.dk Language: English - Date: 1996-10-15 05:57:12 Models of computation Type theory Data types Programming language implementation Logic in computer science Denotational semantics Partial evaluation Programming language Subtype polymorphism Software engineering Computing Programming language theory
89	Generating Optimizing Specializers Robert Gl¨ uck∗ Jesper Jørgensen Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:50 Evaluation strategy Incremental computing Partial evaluation Compiler construction Interpreter Eval Computer program Self-interpreter Compiler Software engineering Computing Programming language implementation
90	Programming Techniques for Partial Evaluation Olivier Danvy BRICS † Department of Computer Science University of Aarhus ‡ January 2000 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Lambda calculus Functional programming Subroutines Recursion Scheme Combinatory logic Closure Function Lambda Software engineering Declarative programming Computing

UPDATE